Basis for induction